21. Introduction to functional programming /
Author: Richard Bird, Philip Wadler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Programming techniques-- Applicative (functional) programming,Programmation fonctionnelle.,54.51 programming techniques.,Functional programming (Computer science),Functionele programmering.,Funktionale Programmierung,Programmation fonctionnelle (informatique)
Classification :
QA76
.
6
.
B568
1988


22. La programmation orientée objet /
Author: Hugues Bersini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented programming (Computer science),C plus-plus (langage de programmation),C-Dièse (langage de programmation),Java (langage de programmation),Programmation orientée objets (informatique)-- Manuels d'enseignement supérieur.,Programmation orientée objets (informatique)-- Problèmes et exercices.,Python (langage de programmation),UML (informatique),Programmation orientée objet (Informatique), Manuels d'enseignement supérieur.,C plus-plus (langage de programmation)-- Problèmes et exercices.,C# (Langage de programmation),C++ (Langage de programmation),C-Dièse (langage de programmation)-- Problèmes et exercices.,Java (Langage de programmation),Java (langage de programmation)-- Problèmes et exercices.,Microsoft LINQ.,Object-oriented programming (Computer science),PHP (Langage de programmation),PHP (langage de programmation)-- Problèmes et exercices.,Programmation orientée objet.,Programmation orientée objets (informatique)-- Problèmes et exercices.,Python (Langage de programmation),Python (langage de programmation)-- Problèmes et exercices.,UML (informatique)-- Problèmes et exercices.,UML (Langage de modélisation)
Classification :
QA76
.
64


23. Lisp-Stat :
Author: Luke Tierney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lisp-Stat.,XLisp-Stat.,Lisp-Stat (Computer program),XLisp-Stat (Computer program),Lisp-Stat.,XLisp-Stat.,LISP (Computer program language),Mathematical statistics-- Data processing.,Object-oriented programming (Computer science),LISP (Computer program language),Mathematical Computing.,Statistics-- methods.,Architecture logicielle.,Informatique.,Langages de programmation.,LISP (Computer program language),LISP.,Lisp-Stat,Mathematical statistics-- Data processing.,Méthodes statistiques.,Object-georiënteerd programmeren.,Object-oriented programming (Computer science),Statistiek.
Classification :
QA276
.
4
.
T54
1990


24. Logics of Programs :
Author: by E. Clarke, D. Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.

25. Logics of Programs :
Author: edited by Dexter Kozen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Programmation (Informatique) -- Congrès.

26. Managing psychological factors in information systems work :
Author: Eugene Kaluzniacky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming-- Psychological aspects.,Emotional intelligence.,Emotions.,Information Services-- organization & administration.,Mental Health.,Occupational Health.,Personality.,Social Behavior.,Intelligence émotionnelle.,Programmation (Informatique)-- Aspect psychologique.,Computer programming-- Psychological aspects.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Social Aspects-- Human-Computer Interaction.,Emotional intelligence.
Classification :
BF576
.
K358
2004eb


27. More programming pearls :
Author: Jon Bentley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Programmation (Informatique),Aufsatzsammlung,Computer programming.,Computer software.,Programmierung
Classification :
QA76
.
6
.
B452
1988


28. Mule 2 :
Author: Peter Delia, Antoine Borg and Ricston Ltd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented programming (Computer science),COMPUTERS-- Programming-- Object Oriented.,Informatique.,Object-oriented programming (Computer science),Object-oriented programming (Computer science),Object-oriented programming (Computer science),Programmation orientée objets (informatique)
Classification :
QA76
.
64
.
D45
2008


29. Object-oriented programming in C++ /
Author: Robert Lafore.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Object-oriented programming (Computer science),C++ (Langage de programmation),Programmation orientée objet (Informatique),C++ (Computer program language),C++ (Computer program language),COMPUTERS-- Programming-- Object Oriented.,Object-oriented programming (Computer science),Object-oriented programming (Computer science)
Classification :
QA76
.
64
.
L32
2002


30. Parallel computing :
Author: edited by Barbara Chapman [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parallel processing (Electronic computers), Congresses.,Parallel programming (Computer science), Congresses.,Multiprocesseurs.,Parallel processing (Electronic computers),Parallel programming (Computer science),Parallélisme (informatique),Programmation parallèle (informatique)
Classification :
QA76
.
642
.
P365
2009


31. Patterns in Java :
Author: Mark Grand.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Java (Computer program language),Software patterns.,UML (Computer science),CD-ROM.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,Java (Computer program language),Java (langage de programmation),PATTERN RECOGNITION.,PROGRAMMING LANGUAGES.,Software patterns.,UML (Computer science),UML (informatique)
Classification :
QA76
.
76
.
P37
G73
1998


32. Persistent object systems :
Author: Graham N.C. Kirby, Alan Dearle, Dag I.K. Sjøberg (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented programming (Computer science),Object-oriented programming (Computer science) -- Congresses.,Programmation orientée objet (Informatique) -- Congrès.
Classification :
QA76
.
9
.
D3
G734
2001


33. Physics for game programmers /
Author: Grant Palmer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Physics.,Video games-- Design.,Jeux d'ordinateur-- Programmation.,Mécanique-- Simulation par ordinateur.,GAMES-- Video & Electronic.,Informatique.,Physics.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,Video games-- Design.
Classification :
QA76
.
76
.
C672
P24
2005eb


34. Program Construction :
Author: edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programmation (Informatique)
Classification :
QA76
.
6
E358
1979


35. Programmation concurrente en Java /
Author: Brian Goetz ; avec la collaboration de Tim Peierls, Joshua Bloch, Joseph Bowbeer ... [et al.] ; traduction, Éric Jacoboni ; relecture technique, Éric Hébert ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Java (Computer program language),Parallel programming (Computer science),Threads (Computer programs),Java (langage de programmation),Programmation parallèle (informatique),Java (Langage de programmation),Programmation parallèle (Informatique),Threads (Logiciels),Fil de contrôle.,Java (Computer program language),Java (langage de programmation),Java (Langage de programmation),Parallel programming (Computer science),Programmation concurrente.,Threads (Computer programs)
Classification :
QA76
.
73
.
J38
G588
2006


36. Programming in Modula-2
Author: Niklaus Wirth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Modula-2 (Computer program language),Modula-2 (Langage de programmation),Programmation (Informatique)
Classification :
QA76
.
73
.
M63
N555
1982


37. Real-time object uniform design methodology with UML /
Author: Bui Minh Duc.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Real-time programming.,UML (Computer science),Programmation en temps réel.,UML (Informatique),Ingénierie.,Real-time programming.,REFERENCE-- General.,UML (Computer science)
Classification :
QA76
.
54
.
B85
2007eb


38. Refinement calculus :
Author: Ralph-Johan Back, Joakim von Wright.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Calcul infinitésimal.,Logique informatique.,Programmation (Informatique)
Classification :
QA76
.
6
R357
1998


39. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings
Author: Ecole de printemps dinformatique theorique, )0991, La Roche-Posay, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
Classification :
QA
76
.
58
.
E26
1990


40. Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings
Author: I. Guessarian )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Parallel processing )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
469

